Using Timed TTCN-3 in Interoperability Testing for Real-Time Communication Systems
نویسندگان
چکیده
Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TIMEDTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are constructed from specifications of system under test and then transformed to TIMEDTTCN-3 test cases. We also investigate real-time TTCN and analyze the insufficiency of its capabilities in specifying time constraints. Possible extensions for real-time TTCN are given to specify real-time interoperability test cases. From the comparisons between the two real-time test notations, it can be concluded that TIMEDTTCN-3 is more powerful and flexible than real-time TTCN and can be suitable for real-time interoperability testing.
منابع مشابه
Simulated Time for Testing Railway Interlockings with TTCN-3
Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested separately from the hardware. Here we show that real time and scaled time semantics are inefficient for testing this software. We provide a time semantics with simulated time and show that this semantics is more suitable for tes...
متن کاملTimed TTCN-3 - A Real-time Extension for TTCN-3
The Testing and Test Control Notation (TTCN-3) was originally developed as successor of the second edition of the Tree and Tabular Combined Notation. TTCN-3 is a standardized test specification and implementation language to test functional behaviour of distributed systems. TIMEDTTCN-3 is a real-time extension for TTCN-3 that supports the test and measurement of real-time requirements. TIMEDTTC...
متن کاملA Proposal for a Real-Time Extension of TTCN
In this paper we propose an extension of TTCN (Tree and Tabular Combined Notation) to real-time TTCN. The extension is de-ned on a syntactical and semantical level. Syntactically, we provide facilities to annotate TTCN statements with two time values, namely an earliest execution time (EET) and a latest execution time (LET). The informal interpretation of these time values is that a TTCN statem...
متن کاملReal-Time Testing with TTCN-3
Reactive real-time software is used when safety is the issue and the margin for errors is narrow. Such software is used in automotive, avionics, air traffic control, space shuttle control, medical equipment, nuclear power stations, etc. As the timeliness of those systems is critical, it needs to be assured and tested. However, real-time properties require automated tests as manual tests are unt...
متن کاملLanguages, tools and patterns for the specification of distributed real-time tests
For modern distributed systems, it is important that they adhere to realtime requirements, e.g., to deliver a response to a request within a given deadline. For assuring the quality of software systems, testing is the most important means. However, a mature support for real-time testing of distributed systems is missing. This thesis treats languages, tools, and patterns for the specification of...
متن کامل